Galois connection - PDFSEARCH.IO - Document Search Engine

Galois connection
Results: 39

#	Item
21	A Structural Soundness Proof for Shivers’s Escape Technique A Case for Galois Connections Jan Midtgaard1 , Michael D. Adams2 , and Matthew Might3 1 2 Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:05 Abstract interpretation Valuation Galois connection Lambda calculus Entailment Logic Abstract algebra Mathematics
22	Abstract interpreters for free Matthew Might University of Utah, Salt Lake City, Utah, USA, [removed], http://matt.might.net/ Abstract. In small-step abstract interpretations, the concrete and abstract semantics Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:16 Abstraction Galois connection Mind Structure Mathematics Abstract interpretation
23	Foundations of mathematics Sylvain Poirier settheory.net 2. Set theory (continued[removed]Tuples, families Add to Reading List Source URL: settheory.net Language: English - Date: 2014-02-21 17:52:19 Injective function Galois connection Equivalence relation Surjective function Function Bijection Monotonic function Restriction Inverse function Mathematics Mathematical analysis Functions and mappings
24	Annales Mathematicae et Informaticae[removed]pp. 71–82 http://ami.ektf.hu Note on formal contexts of generalized one-sided concept lattices∗ Add to Reading List Source URL: ami.ektf.hu Language: English - Date: 2013-12-20 14:11:04 Lattice theory Order theory Algebraic structures Lie groups Algebraic groups Formal concept analysis Complete lattice Galois connection Lattice Abstract algebra Mathematics Algebra
25	Calculating Graph Algorithms for Dominance and Shortest Path⋆ Ilya Sergey1 , Jan Midtgaard2 , and Dave Clarke1 1 KU Leuven, Belgium Add to Reading List Source URL: ilyasergey.net Language: English - Date: 2014-05-28 18:27:05 Group actions Group theory Abstract interpretation Galois connection Order theory Structure Orbifold Holomorphic functional calculus Abstract algebra Mathematics Algebra
26	An Analysis of the ‘Failed States Index’ by Partial Order Methodology Lars Carlsen Awareness Center, Linkøpingvej 35, Trekroner, DK-4000 Roskilde, Denmark [removed]; and Department of Chemical Engineerin Add to Reading List Source URL: www.cmu.edu Language: English - Date: 2013-10-31 09:35:15 Abstraction Partially ordered set Hasse diagram Formal concept analysis Dimension Galois connection Representation Ideal Binary relation Order theory Mathematics Structure
27	Software Verification Grégoire Sutre LaBRI, University of Bordeaux, CNRS, France Add to Reading List Source URL: www.mpi-inf.mpg.de Language: English - Date: 2008-09-23 03:26:04 Algebra Order theory Algebraic structures Galois connection Constructible universe Lattice Abstract algebra Mathematics Abstract interpretation
28	//galois/home/lee/Ricci/Manual.dvi Add to Reading List Source URL: www.math.washington.edu Language: English - Date: 2011-03-03 17:29:30 Tensors Connection Vector bundles Riemannian geometry Tensor Covariant derivative Tangent bundle Ricci curvature Tensor contraction Differential geometry Theoretical physics Physics
29	Homomorphisms, Bilimits and Saturated Domains (Some Very Basic Domain Theory) Paul Taylor Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:48:09 Category theory Order theory Algebraic topology Functor Limit Universal property Adjoint functors Sheaf Galois connection Mathematics Abstract algebra Mathematical analysis
30	Programming from Galois Connections — Principles and Applications (Extended version of reference [16]) Add to Reading List Source URL: www.iis.sinica.edu.tw Language: English - Date: 2011-03-16 00:37:11 Order theory Galois connection Complete Heyting algebra Function Presentation of a group Sheaf Allegory Adjoint functors Residuated mapping Mathematics Abstract algebra Algebra

UPDATE